module single_bit_full_adder (
	input a, b, c,
	input rst,
	output reg s, cout
);

	always @(negedge rst) begin
		if (!rst) begin
			{cout, s} = 0;
		end
	end

	always @(a or b or c) begin
		{cout, s} = a + b + c;
	end

endmodule
